
#include <stdio.h>
 
void executaCalculoLambda(char str[]){

printf("\n\nBem, isso eh um tanto vergonhoso mas,\no ambiente de execucao que executa o calculo lambda nao esta disponivel\n");
printf("Mas se estivesse, ele executaria o calculo lambda e,\nnesse momento voce estaria vendo o resultado obtido\n\n");
printf("O calculo lambda executado seria esse:\n\n");
printf("%s\n\n",str);
}
 
int main(void)
{
printf("Este programa executa a seguinte expressao\nem linguagem funciponal(notacao lambda)\n\n");
printf("(lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x)))((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))(lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x))((lambda(x y)x)(lambda(x y)x)))))((lambda(x y)x)(lambda(x y)x)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x))((lambda(x y)x)(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))))((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))))))))(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))((lambda(x y)x)(lambda(x)x)))))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))(lambda(x y)x))))))((lambda(x y)x)(lambda(x y)x)))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))((lambda(x y)x)(lambda(x)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))(lambda(x y)x)))))((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))))\n");
executaCalculoLambda("(lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x)))((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))(lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x))((lambda(x y)x)(lambda(x y)x)))))((lambda(x y)x)(lambda(x y)x)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x))((lambda(x y)x)(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))))((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))))))))(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))((lambda(x y)x)(lambda(x)x)))))((lambda(x y z)((x z) (y z)))(lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))(lambda(x y)x))))))((lambda(x y)x)(lambda(x y)x)))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))((lambda(x y)x)(lambda(x)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)))(lambda(x y)x)))))((lambda(x y)x)(lambda(x y)x))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))((lambda(x y)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)(lambda(x y)x)))))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))))))))))((lambda(x y)x)((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x)))))))))((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))((lambda(x y)x)(lambda(x y z)((x z) (y z))))(lambda(x y)x))(lambda(x)x))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y)x)((lambda(x y z)((x z) (y z)))((lambda(x y z)((x z) (y z)))(lambda(x)x)((lambda(x y)x)((lambda(x y)x)(lambda(x)x))))))(lambda(x y)x)))((lambda(x y z)((x z) (y z)))(lambda(x)x)(lambda(x)x))))))");
system("pause");
return 0;
}
